📐 Quotient Types - abnv · Scour

Differential Logic • 4

inquiryintoinquiry.com·7h

∫Mathematical DSLs

en.wikipedia.org·2d·

Discuss: Hacker News

🎭Polymorphic Variants

Revisiting Regular Types

abseil.io·22h

🚀Hindley-Milner+

Oatmeal - Constraint propagation for fun

eli.li·17h·

Discuss: Lobsters

🧩Constraint Solvers

The Adventures of a Pythonista in Schemeland/30

artima.com·22h

🔧Scheme Macros

[2309.11300] Partial monoid actions on objects in categories with pullbacks and their globalizations

arxiv.org·3d

🔗Category Theory

**Abstract:** This paper proposes a novel methodology for automated theorem discovery within advanced set theory utilizing hyperdimensional geometric algebra...

freederia.com·3d

🔢Algebraic Datatypes

Logic Puzzles: Why the Liar Is the Helpful One

blog.szczepan.org·1d·

Discuss: Hacker News

📜Proof Languages

A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.)

blog.sigfpe.com·2d

🧩Monadic Parsing

Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture

jonmsterling.com·1d·

Discuss: Hacker News, r/Compilers

Stocking Stuffers

yamlscript.org·1d

🔗Lexical Scoping

Build a Compiler in Five Projects

kmicinski.com·1d

🎭Racket Modules

Puzzle Potential

jhyde.itch.io·8h

🤐Zipper Structures

Deep dive into Hierarchical Navigable Small Worlds

amandeepsp.github.io·20h·

Discuss: Hacker News, r/Zig, r/programming

🤐Zipper Structures

On the Tension Between Object-Oriented and Generic Programming in C++

artima.com·22h

🗂️Type Indexing

8-piece tablebase development on Lichess (op1 partial)

lichess.org·1d·

Discuss: Hacker News

🔀SSA Construction

Private Data Space Model

privatedata.space·3d

🪢Rope Data Structures

Categorical systems theory

danmackinlay.name·4d

🔗Category Theory

Kotlin Symbol Processing: создаём свой процессор

habr.com·2d

📋Template Compilers

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set

arxiv.org·2d

🔒Rust Borrowing

Loading more...